PDFLATEX=pdflatex
BIBTEX=bibtex

all : prop.pdf


prop.pdf : prop.tex 
	$(PDFLATEX) prop.tex
	$(BIBTEX) prop
	$(PDFLATEX) prop.tex
	$(PDFLATEX) prop.tex


clean : 
	rm -f *.aux *.dvi *.ps *.log *bbl *blg 
